Institute of Systems Science - PDFSEARCH.IO - Document Search Engine

Institute of Systems Science
Results: 1847

#	Item
541	TUW @ TREC Clinical Decision Support Track Jo˜ ao Palotti, Navid Rekabsaz, Linda Anderson, and Allan Hanbury Institute of Software Technology and Interactive Systems Vienna University of Technology, Austria {palotti, re Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2015-02-09 16:44:38 Vector space model Xapian Relevance Lemur Project Search engine indexing Lucene Subject TREC Genomics LGTE Information science Information retrieval Science
542	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
543	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: allenai.org Language: English Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
544	LOGIC SYSTEMS LABORATORY Swiss Federal Institute of Technology Prof. Daniel Mange Prof. Jacques Zahnd Prof. Eduardo Sanchez Add to Reading List Source URL: lslwww.epfl.ch Language: English - Date: 2001-12-13 08:15:14 Human–computer interaction Turing machine Computer science Artificial life Self-replication Cellular automaton Reconfigurable computing Bio-inspired computing Automata theory Applied mathematics Theoretical computer science BioWall
545	PRESS INVITATION 3 October 2014 • PREOffice of CommunicationsJingumae 5-chome Shibuya-ku, Tokyowww.unu.edu Add to Reading List Source URL: i.unu.edu Language: English - Date: 2014-10-12 23:43:51 United Nations University Arima IGES Computing Systems science Structure Peace and conflict studies Anticipatory thinking International Institute for Applied Systems Analysis
546	CONNECTING PAIRWISE AND POSITIONAL ELECTION OUTCOMES DONALD G. SAARI AND TOMAS J. MCINTEE INSTITUTE FOR MATHEMATICAL BEHAVIORAL SCIENCE UNIVERSITY OF CALIFORNIA, IRVINE, CAAbstract. General conclusions relat Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:36 Social choice theory Political philosophy Condorcet criterion Borda count Condorcet loser criterion Voting system Approval voting Marquis de Condorcet Instant-runoff voting Single winner electoral systems Voting system criteria Voting
547	FPGA Design of a Camera Control System for Road Traffic Monitoring George K. Adam, Georgia Garani, Dimitrios Ventzas Computer Science and Engineering Technological Educational Institute of Thessaly, Larissa, Greece Add to Reading List Source URL: www.teilar.gr Language: English Classes of computers Reconfigurable computing Embedded systems Field-programmable gate array Nios II Xilinx Altera Joint Test Action Group VHDL Electronic engineering Electronics Fabless semiconductor companies
548	Modelling Psychological Needs for User-dependent Contextual Suggestion Di Xu, Jamie Callan Language Technologies Institute, School of Computer Science, Carnegie Mellon University Pittsburgh, PA, USA , calla Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2015-02-09 16:44:36 GPS Satellite navigation systems Personal life Navigation Point of interest Performing arts Poi Recommender system User profile Entertainment New Zealand culture Poi spinning
549	CAREERS ACA DE MI C DATA DR I VE Universities create data-science hubs Academic science, not just industry, has a growing need for data scientists. A Add to Reading List Source URL: www.nature.com Language: English - Date: 2015-04-08 11:48:20 Howard Hughes Medical Institute Postdoctoral research Medical research Grant Comparison of Research Networking Tools and Research Profiling Systems Prostate Cancer Foundation Health Medicine Research
550	CAREERS ACA DE MI C DATA DR I VE Universities create data-science hubs Academic science, not just industry, has a growing need for data scientists. A Add to Reading List Source URL: www.nature.com Language: English - Date: 2015-04-08 11:48:19 Howard Hughes Medical Institute Postdoctoral research Medical research Grant Comparison of Research Networking Tools and Research Profiling Systems Prostate Cancer Foundation Health Medicine Research

UPDATE